منابع مشابه
Girard Couples of Quantales
We introduce the concept of a Girard couple, which consists of two (not necessarily unital) quantales linked by a strong form of duality. The two basic examples of Girard couples arise in the study of endomorphism quantales and of the spectra of operator algebras. We construct, for an arbitrary sup-lattice S, a Girard quantale whose right-sided part is isomorphic to S.
متن کاملThe Girard-Reynolds Isomorphism
ion Theorem x1 : A1, . . . , xn : An ` t : B in F2 ⇒ (x1, x1) ∈ A ∗‡ 1 , . . . , (xn, x ′ n) ∈ A∗‡ n ` (|t|, |t|′) ∈ B∗‡ in P2
متن کاملMorphTrans: un lenguaje y un compilador para especificar y generar módulos de transferencia morfológica para sistemas de traducción automática
Resumen Este art́ıculo presenta un lenguaje para especificar las reglas de un módulo de transferencia morfólogica para un sistema de traducción automática (TA) aśı como el compilador que se tiene que utilizar para convertir esta especificación en un programa ejecutable. El módulo de transferencia morfológica trabaja sobre la salida que produce un analizador morfológico seguido de un desambiguado...
متن کاملDiseño, Simulación y Construcci?n de un Control PID Aplicado a un Sistema Térmico
El diseño del sistema de control de temperatura comprende el modelado y cálculo de los parámetros del controlador, el proceso de temperatura, y las interfaces entre la computadora y el proceso. El comportamiento de la temperatura del agua en el recipiente es un modelo de primer orden expresado con la transformada s. En este modelo se muestra una curva de la variable de temperatura con respecto ...
متن کاملUn Enfoque Neuronal al Seguimiento de un Objeto a través de su Tamaño y su Localización
El análisis del movimiento en secuencias de imágenes es una disciplina en constante crecimiento debido al gran número de aplicaciones en el que juega un papel primordial. La presentación de un sencillo modo de obtención, en tiempo real y de una forma neuronal, de dos parámetros fundamentales asociados a los objetos en movimiento (su tamaño y su localización), así como su uso para el seguimiento...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Universitas Philosophica
سال: 2018
ISSN: 2346-2426,0120-5323
DOI: 10.11144/javeriana.uph35-70.isgo